A Maude speci cation of an object - orienteddatabase model
نویسنده
چکیده
This paper presents an object-oriented database model for broadband telecommuni-cation networks, which can be used both for network management and for network planning purposes. The object-oriented data model has been developed using the parallel object-oriented speciication language Maude 8,11], which allows us to de-ne not only structural aspects of the database, but also procedural aspects. Several modeling approaches are compared, emphasizing the deenition of the object relationships and some of the procedural aspects of the model.
منابع مشابه
An Object - Oriented Airport : Speci cation and Re nement in
An object-oriented model of an airport has been developed to assess the parallel object-oriented speciication language Maude. The model includes airplanes, gates, baggage handling, ground control and tower and has been implemented on the OBJ3 system, which serves as a rudimentary interpreter for Maude. We discuss two ways of specifying objects and present two notions of behavioral reenement in ...
متن کاملUsing Maude for the Formal Veri cation of Websites ∗ Sonia Flores
In this paper we address the problem of formal veri cation of websites by using declarative languages. In particular, we rst de ne a model for websites which can intuitively be speci ed by using Maude. The model is dened to be well suited for the formal veri cation of dynamic as well as static properties of the system. A website is de ned as a collection of web pages which are semantically conn...
متن کاملA formal speci cation of the Kademlia distributed hash table
Kademlia is a peer-to-peer distributed hash table (DHT) currently used in the P2P eDonkey le sharing network. The most popular clients used to connect to the Kad network are eMule, aMule and BitTorrent. As other DHT, Kademlia look-up algorithm takes logn steps, which can be reduced to log2b n by increasing the node's routing table size. It also o ers a number of desirable features not o ered by...
متن کاملRepresenting Object Models as Theories
Although techniques for using formal speci cations have been progressing, methods for developing formal speci cations themselves have improved little. To alleviate this problem, we propose a parallel re nement approach to speci cation acquisition where the designer uses an object-oriented speci cation representation while an underlying speci cation composition system manipulates an equivalent t...
متن کاملFormally Modeling UML and its Evolution: A Holistic Approach
Due to the pervasiveness of diagrams in human communication and because of the increasing availability of graphical notations in Software Engineering, the study of diagrammatic notations is at the forefront of many research e orts. The expressive power of these kinds of languages and notations can be remarkably improved by adding extensibility mechanisms. Extensibility, the ability of a notatio...
متن کامل